---

second-order predicate calculus

英 [ˈsekənd ˈɔːdə(r) ˈpredɪkət ˈkælkjələs] 美 [ˈsekənd ˈɔːrdər ˈpredɪkət ˈkælkjələs]

网络  二阶谓词演算

计算机

---

---